#include <stdio.h>

char s[] = { 105, 110, 116, 32, 109, 97, 105, 110, 40, 118, 111, 105, 100, 41, 10, 123, 10, 9, 105, 110, 116, 32, 105, 59, 10, 10, 9, 112, 114, 105, 110, 116, 102, 40, 34, 35, 105, 110, 99, 108, 117, 100, 101, 32, 60, 115, 116, 100, 105, 111, 46, 104, 62, 92, 110, 92, 110, 99, 104, 97, 114, 32, 115, 91, 93, 32, 61, 32, 123, 32, 34, 41, 59, 10, 9, 102, 111, 114, 32, 40, 105, 32, 61, 32, 48, 59, 32, 105, 32, 60, 32, 115, 105, 122, 101, 111, 102, 40, 115, 41, 59, 32, 105, 43, 43, 41, 10, 9, 9, 112, 114, 105, 110, 116, 102, 40, 34, 37, 100, 44, 32, 34, 44, 32, 115, 91, 105, 93, 41, 59, 10, 9, 112, 114, 105, 110, 116, 102, 40, 34, 125, 59, 92, 110, 92, 110, 34, 41, 59, 10, 9, 112, 114, 105, 110, 116, 102, 40, 34, 37, 115, 34, 44, 32, 115, 41, 59, 10, 10, 9, 114, 101, 116, 117, 114, 110, 32, 48, 59, 10, 125, 10, };

int main(void)
{
	int i;

	printf("#include <stdio.h>\n\nchar s[] = { ");
	for (i = 0; i < sizeof(s); i++)
		printf("%d, ", s[i]);
	printf("};\n\n");
	printf("%s", s);

	return 0;
}
